#include <stdio.h>
 
#define PRINT_NUM printf("num:%d\n",num)

int main(void){
    int num=10;
    PRINT_NUM;
    return 0;
}